2.2.17 Integrals 1601 to 1700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 104 90 90 90 97 90 90

N.S.

1 1.00 2.89 2.50 2.50 2.50 2.69 2.50 2.50

time (sec)

N/A 0.160 0.006 0.023 0.213 0.238 0.339 0.282 0.077

Problem 1602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 62 102 90 90 90 97 90 90

N.S.

1 1.11 1.82 1.61 1.61 1.61 1.73 1.61 1.61

time (sec)

N/A 0.172 0.010 0.025 0.193 0.252 0.364 0.266 5.536

Problem 1603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 88 106 90 90 90 97 90 90

N.S.

1 1.16 1.39 1.18 1.18 1.18 1.28 1.18 1.18

time (sec)

N/A 0.186 0.006 0.024 0.201 0.259 0.395 0.277 0.076

Problem 1604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 114 104 90 90 90 97 90 90

N.S.

1 1.19 1.08 0.94 0.94 0.94 1.01 0.94 0.94

time (sec)

N/A 0.205 0.015 0.024 0.199 0.287 0.409 0.274 5.416

Problem 1605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 106 90 90 90 97 90 90

N.S.

1 1.00 1.00 0.85 0.85 0.85 0.92 0.85 0.85

time (sec)

N/A 0.224 0.006 0.025 0.195 0.276 0.422 0.279 0.077

Problem 1606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 106 90 90 90 97 90 89

N.S.

1 1.00 1.00 0.85 0.85 0.85 0.92 0.85 0.84

time (sec)

N/A 0.229 0.008 0.024 0.199 0.266 0.467 0.261 0.076

Problem 1607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 63 64 63 61 65 62

N.S.

1 1.00 1.00 0.90 0.91 0.90 0.87 0.93 0.89

time (sec)

N/A 0.211 0.006 0.022 0.193 0.269 0.062 0.266 5.461

Problem 1608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 57 52 52 52 49 53 51

N.S.

1 1.00 1.00 0.91 0.91 0.91 0.86 0.93 0.89

time (sec)

N/A 0.195 0.006 0.058 0.190 0.270 0.061 0.268 0.031

Problem 1609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 41 42 41 37 43 40

N.S.

1 1.00 1.00 0.93 0.95 0.93 0.84 0.98 0.91

time (sec)

N/A 0.190 0.005 0.019 0.195 0.264 0.054 0.273 0.041

Problem 1610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 30 29 29 26 30 29

N.S.

1 1.00 1.00 0.97 0.94 0.94 0.84 0.97 0.94

time (sec)

N/A 0.172 0.005 0.019 0.188 0.266 0.051 0.274 0.043

Problem 1611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 18 17 14 19 18

N.S.

1 1.00 1.00 1.06 1.00 0.94 0.78 1.06 1.00

time (sec)

N/A 0.160 0.003 0.018 0.213 0.261 0.042 0.275 5.863

Problem 1612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 10 10 7 11 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 1.10 1.00

time (sec)

N/A 0.140 0.001 0.014 0.196 0.264 0.019 0.268 0.024

Problem 1613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 18 14 13 16 10 14 15

N.S.

1 1.00 1.38 1.08 1.00 1.23 0.77 1.08 1.15

time (sec)

N/A 0.140 0.006 0.020 0.203 0.276 0.064 0.263 5.624

Problem 1614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 26 28 26 19 30 25

N.S.

1 1.00 1.00 0.93 1.00 0.93 0.68 1.07 0.89

time (sec)

N/A 0.180 0.006 0.026 0.201 0.293 0.078 0.290 0.064

Problem 1615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 41 40 41 31 45 38

N.S.

1 1.00 1.00 0.98 0.95 0.98 0.74 1.07 0.90

time (sec)

N/A 0.186 0.007 0.025 0.196 0.269 0.094 0.259 0.065

Problem 1616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 53 51 54 44 56 48

N.S.

1 1.00 1.00 0.95 0.91 0.96 0.79 1.00 0.86

time (sec)

N/A 0.199 0.007 0.026 0.208 0.305 0.105 0.273 5.781

Problem 1617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 63 62 65 56 67 60

N.S.

1 1.00 1.00 0.93 0.91 0.96 0.82 0.99 0.88

time (sec)

N/A 0.214 0.007 0.028 0.201 0.305 0.125 0.285 5.798

Problem 1618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 82 75 73 76 68 78 70

N.S.

1 1.00 1.00 0.91 0.89 0.93 0.83 0.95 0.85

time (sec)

N/A 0.221 0.011 0.028 0.196 0.299 0.133 0.262 5.826

Problem 1619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 88 89 92 107 99 95 94

N.S.

1 1.00 0.90 0.91 0.94 1.09 1.01 0.97 0.96

time (sec)

N/A 0.258 0.045 0.031 0.195 0.276 0.116 0.256 0.062

Problem 1620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 77 78 82 96 78 85 83

N.S.

1 1.00 0.95 0.96 1.01 1.19 0.96 1.05 1.02

time (sec)

N/A 0.241 0.027 0.028 0.203 0.299 0.109 0.269 0.058

Problem 1621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 66 67 70 85 71 73 72

N.S.

1 1.00 0.92 0.93 0.97 1.18 0.99 1.01 1.00

time (sec)

N/A 0.227 0.024 0.030 0.187 0.298 0.097 0.272 5.740

Problem 1622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 54 57 59 73 54 62 62

N.S.

1 1.00 0.93 0.98 1.02 1.26 0.93 1.07 1.07

time (sec)

N/A 0.219 0.027 0.026 0.204 0.257 0.093 0.276 0.038

Problem 1623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 43 45 47 62 44 48 50

N.S.

1 1.00 0.93 0.98 1.02 1.35 0.96 1.04 1.09

time (sec)

N/A 0.197 0.017 0.024 0.197 0.271 0.086 0.269 0.047

Problem 1624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 33 29 34 36 47 31 34 36

N.S.

1 0.97 0.85 1.00 1.06 1.38 0.91 1.00 1.06

time (sec)

N/A 0.184 0.015 0.022 0.206 0.262 0.077 0.272 5.747

Problem 1625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 20 24 26 28 20 24 23

N.S.

1 1.00 0.87 1.04 1.13 1.22 0.87 1.04 1.00

time (sec)

N/A 0.173 0.009 0.021 0.195 0.286 0.056 0.273 5.705

Problem 1626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 12 13 13 13 10 13 12

N.S.

1 1.00 0.92 1.00 1.00 1.00 0.77 1.00 0.92

time (sec)

N/A 0.145 0.002 0.018 0.190 0.248 0.055 0.270 0.033

Problem 1627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 24 30 28 39 22 31 26

N.S.

1 1.00 0.83 1.03 0.97 1.34 0.76 1.07 0.90

time (sec)

N/A 0.182 0.013 0.026 0.202 0.254 0.094 0.268 5.735

Problem 1628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 35 43 45 63 37 45 41

N.S.

1 1.00 0.83 1.02 1.07 1.50 0.88 1.07 0.98

time (sec)

N/A 0.194 0.045 0.031 0.196 0.266 0.124 0.268 5.763

Problem 1629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 53 57 64 86 54 64 57

N.S.

1 1.00 0.91 0.98 1.10 1.48 0.93 1.10 0.98

time (sec)

N/A 0.213 0.058 0.031 0.200 0.277 0.143 0.277 0.081

Problem 1630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 66 68 73 95 66 73 69

N.S.

1 1.00 0.96 0.99 1.06 1.38 0.96 1.06 1.00

time (sec)

N/A 0.222 0.062 0.031 0.210 0.257 0.154 0.272 0.087

Problem 1631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 79 79 86 108 80 86 79

N.S.

1 1.00 0.94 0.94 1.02 1.29 0.95 1.02 0.94

time (sec)

N/A 0.236 0.051 0.033 0.206 0.286 0.172 0.279 5.759

Problem 1632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 90 91 97 119 92 97 91

N.S.

1 1.00 0.96 0.97 1.03 1.27 0.98 1.03 0.97

time (sec)

N/A 0.249 0.082 0.034 0.201 0.261 0.190 0.277 0.085

Problem 1633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 85 90 103 129 109 95 104

N.S.

1 1.00 0.86 0.91 1.04 1.30 1.10 0.96 1.05

time (sec)

N/A 0.271 0.058 0.031 0.213 0.256 0.168 0.355 5.775

Problem 1634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 73 79 91 117 92 83 92

N.S.

1 1.00 0.85 0.92 1.06 1.36 1.07 0.97 1.07

time (sec)

N/A 0.244 0.055 0.031 0.226 0.255 0.152 0.374 0.056

Problem 1635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 63 68 81 107 85 73 82

N.S.

1 1.00 0.82 0.88 1.05 1.39 1.10 0.95 1.06

time (sec)

N/A 0.234 0.048 0.028 0.192 0.264 0.149 0.363 0.056

Problem 1636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 50 57 69 95 70 61 70

N.S.

1 1.00 0.78 0.89 1.08 1.48 1.09 0.95 1.09

time (sec)

N/A 0.216 0.042 0.027 0.197 0.276 0.134 0.308 5.756

Problem 1637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 50 40 45 57 83 58 44 59

N.S.

1 0.94 0.75 0.85 1.08 1.57 1.09 0.83 1.11

time (sec)

N/A 0.198 0.040 0.024 0.203 0.268 0.125 0.314 5.765

Problem 1638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 33 36 48 61 46 37 46

N.S.

1 1.00 0.80 0.88 1.17 1.49 1.12 0.90 1.12

time (sec)

N/A 0.193 0.016 0.024 0.186 0.272 0.101 0.311 0.052

Problem 1639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 20 15 14 32 32 14 32

N.S.

1 1.00 1.25 0.94 0.88 2.00 2.00 0.88 2.00

time (sec)

N/A 0.143 0.008 0.023 0.202 0.309 0.083 0.306 5.736

Problem 1640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 24 24 26 12 26

N.S.

1 1.00 1.00 0.93 1.71 1.71 1.86 0.86 1.86

time (sec)

N/A 0.142 0.002 0.020 0.193 0.289 0.082 0.316 5.782

Problem 1641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 37 41 51 80 46 43 47

N.S.

1 1.00 0.86 0.95 1.19 1.86 1.07 1.00 1.09

time (sec)

N/A 0.191 0.051 0.027 0.200 0.293 0.138 0.307 0.074

Problem 1642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 53 56 69 109 66 60 63

N.S.

1 1.00 0.93 0.98 1.21 1.91 1.16 1.05 1.11

time (sec)

N/A 0.207 0.054 0.032 0.215 0.260 0.168 0.296 5.823

Problem 1643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 68 73 86 130 78 73 79

N.S.

1 1.00 0.89 0.96 1.13 1.71 1.03 0.96 1.04

time (sec)

N/A 0.214 0.052 0.035 0.203 0.275 0.197 0.299 0.095

Problem 1644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 79 84 97 141 92 86 91

N.S.

1 1.00 0.89 0.94 1.09 1.58 1.03 0.97 1.02

time (sec)

N/A 0.238 0.070 0.036 0.201 0.275 0.202 0.275 5.845

Problem 1645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 90 94 108 152 102 97 101

N.S.

1 1.00 0.93 0.97 1.11 1.57 1.05 1.00 1.04

time (sec)

N/A 0.250 0.058 0.037 0.219 0.285 0.207 0.274 6.151

Problem 1646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 101 106 119 163 116 108 113

N.S.

1 1.00 0.91 0.95 1.07 1.47 1.05 0.97 1.02

time (sec)

N/A 0.271 0.089 0.038 0.202 0.283 0.230 0.277 6.040

Problem 1647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 17 14 15 18 19 13 13

N.S.

1 1.00 0.81 0.67 0.71 0.86 0.90 0.62 0.62

time (sec)

N/A 0.156 0.020 0.066 0.200 0.255 0.249 0.286 6.026

Problem 1648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 17 14 15 16 19 13 13

N.S.

1 1.00 0.81 0.67 0.71 0.76 0.90 0.62 0.62

time (sec)

N/A 0.152 0.017 0.062 0.189 0.269 0.145 0.266 0.028

Problem 1649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 16 13 13 12 17 13 12

N.S.

1 1.00 0.84 0.68 0.68 0.63 0.89 0.68 0.63

time (sec)

N/A 0.152 0.016 0.025 0.203 0.285 0.079 0.273 0.030

Problem 1650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 13 13 13 12 15 13 11

N.S.

1 1.00 0.76 0.76 0.76 0.71 0.88 0.76 0.65

time (sec)

N/A 0.156 0.021 0.028 0.196 0.272 0.152 0.265 0.033

Problem 1651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 15 12 13 11 19 11 13

N.S.

1 1.00 0.79 0.63 0.68 0.58 1.00 0.58 0.68

time (sec)

N/A 0.157 0.022 0.029 0.198 0.291 0.166 0.261 6.073

Problem 1652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 17 14 13 13 20 13 13

N.S.

1 1.00 0.81 0.67 0.62 0.62 0.95 0.62 0.62

time (sec)

N/A 0.155 0.024 0.032 0.209 0.267 0.217 0.281 0.030

Problem 1653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 28 25 26 27 34 24 24

N.S.

1 1.00 0.78 0.69 0.72 0.75 0.94 0.67 0.67

time (sec)

N/A 0.164 0.022 0.069 0.207 0.260 0.290 0.272 0.057

Problem 1654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 28 24 26 24 32 24 24

N.S.

1 1.00 0.82 0.71 0.76 0.71 0.94 0.71 0.71

time (sec)

N/A 0.172 0.022 0.030 0.195 0.273 0.190 0.270 0.041

Problem 1655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 28 24 25 23 31 24 24

N.S.

1 1.00 0.88 0.75 0.78 0.72 0.97 0.75 0.75

time (sec)

N/A 0.165 0.028 0.033 0.204 0.293 0.177 0.278 0.042

Problem 1656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 26 25 24 24 31 23 24

N.S.

1 1.00 0.81 0.78 0.75 0.75 0.97 0.72 0.75

time (sec)

N/A 0.172 0.030 0.037 0.202 0.280 0.170 0.280 5.976

Problem 1657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 28 25 24 24 34 24 24

N.S.

1 1.00 0.82 0.74 0.71 0.71 1.00 0.71 0.71

time (sec)

N/A 0.166 0.028 0.035 0.204 0.294 0.207 0.292 0.032

Problem 1658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 28 25 24 24 36 24 24

N.S.

1 1.00 0.78 0.69 0.67 0.67 1.00 0.67 0.67

time (sec)

N/A 0.162 0.029 0.035 0.199 0.303 0.279 0.267 0.032

Problem 1659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 39 35 37 35 46 35 35

N.S.

1 1.00 0.83 0.74 0.79 0.74 0.98 0.74 0.74

time (sec)

N/A 0.180 0.033 0.029 0.219 0.286 0.370 0.277 0.048

Problem 1660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 39 35 36 34 44 35 35

N.S.

1 1.00 0.87 0.78 0.80 0.76 0.98 0.78 0.78

time (sec)

N/A 0.184 0.042 0.035 0.189 0.267 0.289 0.282 0.056

Problem 1661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 38 35 36 34 46 34 35

N.S.

1 1.00 0.81 0.74 0.77 0.72 0.98 0.72 0.74

time (sec)

N/A 0.176 0.056 0.038 0.203 0.266 0.212 0.279 0.044

Problem 1662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 39 36 35 35 44 34 35

N.S.

1 1.00 0.87 0.80 0.78 0.78 0.98 0.76 0.78

time (sec)

N/A 0.175 0.044 0.038 0.199 0.283 0.208 0.273 5.931

Problem 1663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 39 36 35 35 48 35 35

N.S.

1 1.00 0.83 0.77 0.74 0.74 1.02 0.74 0.74

time (sec)

N/A 0.184 0.040 0.039 0.200 0.255 0.256 0.294 0.037

Problem 1664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 39 36 35 35 51 35 35

N.S.

1 1.00 0.76 0.71 0.69 0.69 1.00 0.69 0.69

time (sec)

N/A 0.178 0.050 0.038 0.213 0.277 0.335 0.279 0.041

Problem 1665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 97 72 64 65 153 138 70 59

N.S.

1 1.17 0.87 0.77 0.78 1.84 1.66 0.84 0.71

time (sec)

N/A 0.202 0.126 0.088 0.295 0.316 3.616 0.288 0.040

Problem 1666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 78 61 53 54 132 122 59 48

N.S.

1 1.15 0.90 0.78 0.79 1.94 1.79 0.87 0.71

time (sec)

N/A 0.188 0.075 0.042 0.289 0.270 1.081 0.267 0.056

Problem 1667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 59 49 41 41 103 107 45 37

N.S.

1 1.11 0.92 0.77 0.77 1.94 2.02 0.85 0.70

time (sec)

N/A 0.170 0.063 0.036 0.282 0.300 0.393 0.265 0.058

Problem 1668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 32 31 85 88 31 28

N.S.

1 1.00 1.00 0.80 0.78 2.12 2.20 0.78 0.70

time (sec)

N/A 0.163 0.039 0.038 0.269 0.311 0.430 0.278 0.045

Problem 1669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 19 18 68 73 18 19

N.S.

1 1.00 1.00 0.66 0.62 2.34 2.52 0.62 0.66

time (sec)

N/A 0.148 0.004 0.026 0.285 0.273 0.693 0.274 5.603

Problem 1670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 32 31 93 85 31 28

N.S.

1 1.00 1.00 0.80 0.78 2.32 2.12 0.78 0.70

time (sec)

N/A 0.159 0.044 0.038 0.297 0.288 1.672 0.265 0.061

Problem 1671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 59 48 42 43 118 107 41 38

N.S.

1 1.11 0.91 0.79 0.81 2.23 2.02 0.77 0.72

time (sec)

N/A 0.168 0.069 0.043 0.288 0.282 5.244 0.263 0.069

Problem 1672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 78 61 53 54 144 126 52 49

N.S.

1 1.15 0.90 0.78 0.79 2.12 1.85 0.76 0.72

time (sec)

N/A 0.185 0.083 0.043 0.277 0.275 15.181 0.281 5.582

Problem 1673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 122 90 78 88 209 495 88 80

N.S.

1 1.24 0.92 0.80 0.90 2.13 5.05 0.90 0.82

time (sec)

N/A 0.207 0.147 0.067 0.299 0.274 25.581 0.275 5.597

Problem 1674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 103 79 70 77 188 442 76 68

N.S.

1 1.21 0.93 0.82 0.91 2.21 5.20 0.89 0.80

time (sec)

N/A 0.195 0.137 0.069 0.273 0.250 7.744 0.276 0.040

Problem 1675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 84 68 55 66 161 389 65 58

N.S.

1 1.20 0.97 0.79 0.94 2.30 5.56 0.93 0.83

time (sec)

N/A 0.185 0.135 0.058 0.278 0.280 2.115 0.263 0.066

Problem 1676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 65 54 47 52 134 332 46 46

N.S.

1 1.14 0.95 0.82 0.91 2.35 5.82 0.81 0.81

time (sec)

N/A 0.181 0.115 0.053 0.279 0.267 2.187 0.273 5.616

Problem 1677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 37 39 115 269 36 34

N.S.

1 1.00 1.00 0.80 0.85 2.50 5.85 0.78 0.74

time (sec)

N/A 0.165 0.088 0.036 0.282 0.269 5.262 0.281 0.044

Problem 1678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 45 36 39 116 277 35 33

N.S.

1 1.00 1.00 0.80 0.87 2.58 6.16 0.78 0.73

time (sec)

N/A 0.161 0.077 0.033 0.273 0.283 15.061 0.267 5.563

Problem 1679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 64 54 47 52 147 384 49 48

N.S.

1 1.14 0.96 0.84 0.93 2.62 6.86 0.88 0.86

time (sec)

N/A 0.172 0.113 0.056 0.297 0.280 44.218 0.264 5.597

Problem 1680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 83 68 55 65 184 452 58 58

N.S.

1 1.20 0.99 0.80 0.94 2.67 6.55 0.84 0.84

time (sec)

N/A 0.182 0.117 0.058 0.273 0.269 116.533 0.289 5.665

Problem 1681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 102 79 69 77 210 0 70 70

N.S.

1 1.21 0.94 0.82 0.92 2.50 0.00 0.83 0.83

time (sec)

N/A 0.191 0.138 0.058 0.278 0.273 0.000 0.282 5.741

Problem 1682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 130 92 77 99 254 835 88 91

N.S.

1 1.18 0.84 0.70 0.90 2.31 7.59 0.80 0.83

time (sec)

N/A 0.215 0.199 0.091 0.306 0.269 22.643 0.276 0.052

Problem 1683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 111 81 65 88 227 762 77 81

N.S.

1 1.17 0.85 0.68 0.93 2.39 8.02 0.81 0.85

time (sec)

N/A 0.200 0.188 0.077 0.300 0.265 7.289 0.282 0.071

Problem 1684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 92 70 56 75 200 683 59 69

N.S.

1 1.12 0.85 0.68 0.91 2.44 8.33 0.72 0.84

time (sec)

N/A 0.188 0.195 0.080 0.279 0.258 7.882 0.266 5.833

Problem 1685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 73 59 50 62 185 605 47 58

N.S.

1 1.04 0.84 0.71 0.89 2.64 8.64 0.67 0.83

time (sec)

N/A 0.180 0.162 0.042 0.290 0.261 17.031 0.267 5.890

Problem 1686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 72 61 52 66 186 627 52 57

N.S.

1 0.99 0.84 0.71 0.90 2.55 8.59 0.71 0.78

time (sec)

N/A 0.176 0.146 0.041 0.295 0.264 39.821 0.285 5.866

Problem 1687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 72 59 59 63 186 632 47 57

N.S.

1 1.03 0.84 0.84 0.90 2.66 9.03 0.67 0.81

time (sec)

N/A 0.177 0.114 0.039 0.312 0.305 114.357 0.265 5.855

Problem 1688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 91 70 56 75 214 0 59 70

N.S.

1 1.11 0.85 0.68 0.91 2.61 0.00 0.72 0.85

time (sec)

N/A 0.192 0.164 0.062 0.282 0.297 0.000 0.268 5.925

Problem 1689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 110 81 66 89 250 0 71 80

N.S.

1 1.16 0.85 0.69 0.94 2.63 0.00 0.75 0.84

time (sec)

N/A 0.205 0.172 0.075 0.278 0.322 0.000 0.279 5.897

Problem 1690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 129 92 76 99 276 0 80 92

N.S.

1 1.17 0.84 0.69 0.90 2.51 0.00 0.73 0.84

time (sec)

N/A 0.216 0.189 0.078 0.282 0.312 0.000 0.271 5.964

Problem 1691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 127 81 108 166 173 153 106 91

N.S.

1 1.09 0.69 0.92 1.42 1.48 1.31 0.91 0.78

time (sec)

N/A 0.225 0.168 0.056 0.277 0.287 18.159 0.301 6.499

Problem 1692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 97 70 97 137 152 122 92 74

N.S.

1 1.04 0.75 1.04 1.47 1.63 1.31 0.99 0.80

time (sec)

N/A 0.211 0.135 0.032 0.289 0.283 4.790 0.295 6.137

Problem 1693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 67 57 84 100 125 97 76 54

N.S.

1 0.97 0.83 1.22 1.45 1.81 1.41 1.10 0.78

time (sec)

N/A 0.177 0.103 0.029 0.273 0.313 1.966 0.286 5.961

Problem 1694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 72 50 99 42 62 58

N.S.

1 1.00 1.00 1.85 1.28 2.54 1.08 1.59 1.49

time (sec)

N/A 0.155 0.070 0.029 0.277 0.312 0.983 0.278 0.100

Problem 1695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 70 49 85 68 0 31

N.S.

1 1.00 1.00 1.79 1.26 2.18 1.74 0.00 0.79

time (sec)

N/A 0.160 0.049 0.032 0.345 0.317 0.802 0.000 6.427

Problem 1696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 20 15 14 24 41 83 22

N.S.

1 1.00 1.11 0.83 0.78 1.33 2.28 4.61 1.22

time (sec)

N/A 0.133 0.026 0.043 0.217 0.258 0.490 0.283 6.173

Problem 1697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 42 33 30 38 304 115 35

N.S.

1 1.00 1.11 0.87 0.79 1.00 8.00 3.03 0.92

time (sec)

N/A 0.178 0.040 0.027 0.183 0.262 0.716 0.292 6.008

Problem 1698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 53 44 47 49 899 146 70

N.S.

1 1.00 0.90 0.75 0.80 0.83 15.24 2.47 1.19

time (sec)

N/A 0.188 0.050 0.030 0.188 0.265 1.061 0.294 6.204

Problem 1699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 64 55 64 60 2297 177 90

N.S.

1 1.00 0.80 0.69 0.80 0.75 28.71 2.21 1.12

time (sec)

N/A 0.205 0.060 0.031 0.197 0.269 1.545 0.304 6.310

Problem 1700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 75 66 81 71 5095 208 110

N.S.

1 1.00 0.74 0.65 0.80 0.70 50.45 2.06 1.09

time (sec)

N/A 0.223 0.069 0.036 0.181 0.269 2.562 0.310 6.461